Automated planning and scheduling - PDFSEARCH.IO - Document Search Engine

Automated planning and scheduling
Results: 432

#	Item
131	ICAPSPlanning and Scheduling Ship Operations on Petroleum Ports and Platforms Tiago Stegun Vaquero1 and Gustavo Costa2 and Flavio Tonidandel3 Haroldo Igreja4 and Jos´e Reinaldo Silva2 and J. Christopher Beck1 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-07-04 15:24:48 Operations research Planning Domain Definition Language Science Job shop scheduling Scheduling Port Planning STRIPS Ship Automated planning and scheduling Artificial intelligence Business
132	Recent Advances in AI Planning Daniel S. Weld Department of Computer Science & Engineering University of Washington, BoxSeattle, WA 98195{2350 USA Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-02-04 15:45:48 Mathematics Logical syntax Propositional calculus Statements Graphplan Planning Domain Definition Language STRIPS Function Propositional formula Automated planning and scheduling Artificial intelligence Logic
133	Microsoft PowerPoint - Planning final.ppt Add to Reading List Source URL: www.cs.northwestern.edu Language: English - Date: 2005-05-26 21:30:16 STRIPS Finite-state machine FO Action description language GOAL agent programming language Automated planning and scheduling Artificial intelligence Hierarchical task network
134	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: rddlsim.googlecode.com Language: English - Date: 2014-10-06 22:18:15 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
135	Investigating Organisational Structures with Networks of Planning Agents Anthony Dekker Defence Science and Technology Organisation (DSTO), Canberra, Australia Abstract Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2006-08-22 01:59:36 Science Planning Domain Definition Language Intelligent agent Agent-based model JACK Intelligent Agents Simulation Planner Planning Belief–desire–intention model Artificial intelligence Multi-agent systems Automated planning and scheduling
136	Curriculum Vitae Dr Daniele Magazzeni Current Position Position: Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2015-03-23 15:49:18 Planning Domain Definition Language Planner Automated planning and scheduling Artificial intelligence Model checking
137	Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:22:18 Mathematics Automated planning and scheduling Programming paradigms Operations research Planning Domain Definition Language Logic in computer science Boolean satisfiability problem Constraint satisfaction Linear programming Theoretical computer science Applied mathematics Constraint programming
138	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic
139	Continuous Time in a SAT-based Planner Ji-Ae Shin and Ernest Davis∗ Courant Institute New York University { jiae \| davise }@cs.nyu.edu Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-05-25 12:15:43 Logic in computer science Software engineering Constraint programming Fluent Computer programming Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
140	Monitoring the Execution of Partial-Order Plans via Regression Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2011-08-11 09:59:58 Linearization Parallel computing Action selection Algorithm Function Automated planning and scheduling STRIPS Mathematics Artificial intelligence Partial-order planning